Dependent type - PDFSEARCH.IO - Document Search Engine

Dependent type
Results: 326

#	Item
321	A Brief Overview of Agda – A Functional Language with Dependent Types Ana Bove, Peter Dybjer, and Ulf Norell Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-09-21 05:09:48 Type theory Dependently typed programming Functional languages Data types Literate programming Agda ALF Dependent type Proof assistant Programming language theory Software engineering Computing
322	Dependently Typed Programming in Agda Ulf Norell1 and James Chapman2 1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-03 03:47:11 Programming language theory Data types Functional programming Functional languages Type system Agda Intuitionistic type theory Dependent type Function Software engineering Declarative programming Type theory
323	PDF Document Add to Reading List Source URL: ocvs.cfv.jp Language: English - Date: 2007-02-22 06:02:29 Agda Haskell Emacs ALF Type theory Dependent type Coq Lambda calculus Functional programming Software Computing Functional languages
324	PDF Document Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2012-08-28 12:41:06 Logic Intuitionistic type theory Function Homotopy type theory Dependent type Interpretation Field Subtype polymorphism Lambda calculus Mathematical logic Mathematics Type theory
325	PDF Document Add to Reading List Source URL: www.biotrend.com Language: English - Date: 2010-04-19 05:28:36 Electrophysiology Membrane biology Voltage-dependent calcium channel Calcium channel L-type calcium channel Cav1.2 P-type calcium channel Cav1.1 Cav2.1 Biology Ion channels Integral membrane proteins
326	PDF Document Add to Reading List Source URL: guru-lang.googlecode.com Language: English - Date: 2011-04-06 12:22:59 Type theory Functional languages Logic in computer science Data types Dependent type Formal verification Functional programming Type system Haskell Software engineering Programming language theory Computing